Contents | < Browse | Browse >
Fonts
=====
The fonts that shall be used by the DFA-Editor and the DFA-Preferences
program can be set in this window. If you don't change the default
setting (Use System Font for every font), all program parts use the
fonts you set in the Font Preferences program of the Workbench.
Alternatively you may set any font you like for each of the four fonts
used.
* DFA-Editor: Gadget font
Here you may enter the font, which is used for the gadget texts of
the DFA-Editor.
* DFA-Editor: List font
For the different listviews of the DFA-Editor a seperate font may
be chosen. Please notice that only non-proportional fonts are
allowed here.
* DFA-Preferences: Gadget font
see above, DFA-Editor: Gadget font.
* DFA-Preferences: List font
see above, DFA-Editor: List font. Please notice, however that even
proportional fonts are allowed here!